Separation logic

Results: 136



#Item
21A Undecidability of propositional separation logic and its neighbours JAMES BROTHERSTON, University College London and MAX KANOVICH, Queen Mary, University of London In this paper, we investigate the logical structure o

A Undecidability of propositional separation logic and its neighbours JAMES BROTHERSTON, University College London and MAX KANOVICH, Queen Mary, University of London In this paper, we investigate the logical structure o

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

- Date: 2014-01-21 06:29:06
    22Separation Logic and Concurrency (OPLSSDraft of July 22, 2016 Aleks Nanevski IMDEA Software Institute

    Separation Logic and Concurrency (OPLSSDraft of July 22, 2016 Aleks Nanevski IMDEA Software Institute

    Add to Reading List

    Source URL: software.imdea.org

    - Date: 2016-08-04 13:20:18
      23Tractable Reasoning in a Fragment of Separation Logic Byron Cook1,3 , Christoph Haase2 , Jo¨el Ouaknine2 , Matthew Parkinson1, and James Worrell2 1

      Tractable Reasoning in a Fragment of Separation Logic Byron Cook1,3 , Christoph Haase2 , Jo¨el Ouaknine2 , Matthew Parkinson1, and James Worrell2 1

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2015-06-23 07:46:37
        24The Essence of Higher-Order Concurrent Separation Logic Robbert Krebbers1 , Ralf Jung2 , Ale˘s Bizjak3 , Jacques-Henri Jourdan2 , Derek Dreyer2 , and Lars Birkedal3 1

        The Essence of Higher-Order Concurrent Separation Logic Robbert Krebbers1 , Ralf Jung2 , Ale˘s Bizjak3 , Jacques-Henri Jourdan2 , Derek Dreyer2 , and Lars Birkedal3 1

        Add to Reading List

        Source URL: robbertkrebbers.nl

        - Date: 2016-10-22 08:34:38
          25Separation Logic Modulo Theories Juan Antonio Navarro Pérez1 and Andrey Rybalchenko2 1 2

          Separation Logic Modulo Theories Juan Antonio Navarro Pérez1 and Andrey Rybalchenko2 1 2

          Add to Reading List

          Source URL: www.lsv.ens-cachan.fr

          - Date: 2015-06-23 07:31:00
            26A Two-Variable Separation Logic and Its Inner Circle STEPHANE DEMRI, New York University, USA & CNRS, France MORGAN DETERS, New York University, USA Separation logic is a well-known assertion language for Hoare-style pr

            A Two-Variable Separation Logic and Its Inner Circle STEPHANE DEMRI, New York University, USA & CNRS, France MORGAN DETERS, New York University, USA Separation logic is a well-known assertion language for Hoare-style pr

            Add to Reading List

            Source URL: www.lsv.ens-cachan.fr

            - Date: 2015-01-28 03:31:41
              27Published in Software Safety and Security; Tools for Analysis and Verification. NATO Science for Peace and Security Series, vol 33, pp286-318, 2012 A Primer on Separation Logic (and Automatic Program Verification and Ana

              Published in Software Safety and Security; Tools for Analysis and Verification. NATO Science for Peace and Security Series, vol 33, pp286-318, 2012 A Primer on Separation Logic (and Automatic Program Verification and Ana

              Add to Reading List

              Source URL: www.lsv.ens-cachan.fr

              - Date: 2014-03-02 08:55:00
                28PERMISSION-BASED SEPARATION LOGIC FOR MESSAGE-PASSING CONCURRENCY ADRIAN FRANCALANZA, JULIAN RATHKE, AND VLADIMIRO SASSONE ICT, University of Malta e-mail address: ECS, University of Southamp

                PERMISSION-BASED SEPARATION LOGIC FOR MESSAGE-PASSING CONCURRENCY ADRIAN FRANCALANZA, JULIAN RATHKE, AND VLADIMIRO SASSONE ICT, University of Malta e-mail address: ECS, University of Southamp

                Add to Reading List

                Source URL: staff.um.edu.mt

                - Date: 2011-05-16 14:07:07
                  29From Separation Logic to First-Order Logic Cristiano Calcagno Philippa Gardner Matthew Hague

                  From Separation Logic to First-Order Logic Cristiano Calcagno Philippa Gardner Matthew Hague

                  Add to Reading List

                  Source URL: www.lsv.ens-cachan.fr

                  - Date: 2015-06-23 07:39:28
                    30Draft of paper to appear at LICSExpressive Completeness of Separation Logic With Two Variables and No Separating Conjunction ∗ Stéphane Demri

                    Draft of paper to appear at LICSExpressive Completeness of Separation Logic With Two Variables and No Separating Conjunction ∗ Stéphane Demri

                    Add to Reading List

                    Source URL: www.lsv.ens-cachan.fr

                    - Date: 2014-07-22 07:58:02